Shapes of Concurrency
نویسنده
چکیده
The question, how true concurrency differs from interleaving, has been studied intensively, beginning with the works of Mazurkiewicz [Maz], Milner [Mil], Pratt [Pra] and many others. The Mazurkiewicz trace theory requests for specifying the dependency relation, which makes such difference explicit. If in some state the sequences ab and ba are executable, then if a and b are independent, then both the sequences describe the same behavior. Moreover, we can say about a concurrent step allowing the execution of a and b in parallel. However, if a and b are dependent, then such two sequences describe two different sequential processes.
منابع مشابه
A Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کاملA Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کاملOptimization of majority protocol for controlling transactions concurrency in distributed databases by multi-agent systems
In this paper, we propose a new concurrency control algorithm based on multi-agent systems which is an extension of majority protocol. Then, we suggest a clustering approach to get better results in reliability, decreasing message passing and algorithm’s runtime. Here, we consider n different transactions working on non-conflict data items. Considering execution efficiency of some different...
متن کاملThe Very Rare Concurrency of Herpes Zoster and Varicella in a 4-Year-Old Boy
Varicella is a common and worldwide disease in childhood. It causes primary (chickenpox) and latent infection that may lead to a reactivation disease called zoster (shingles). Zoster or shingles is caused by reactivation of the virus that has been latent in the spinal dorsal ganglion and may occur even in immunocompetent hosts. Although zoster is rare in children, it ma...
متن کاملPrediction of Risky Behaviors Based on Concurrency of Alcohol Abuse and Opiate Dependence in Patients Treated in Methadone Maintenance Program: North Khorasan Addiction Study
Background: High prevalence of risky behaviors in alcohol dependents have been shown in several studies, but correlation between alcohol abuse and risky behaviors and relapse in patients with opiate dependence has been less investigated. This study aimed to determine the effect of alcohol abuse in rate of risk-taking behaviors in opiate dependents patients treated on maintenance program in Nort...
متن کامل